Nuprl Definition : rv-add
11,40
postcript
pdf
X
+
Y
(
s
) == (
X
(
s
)) + (
Y
(
s
))
latex
Definitions
x
.
A
(
x
)
,
r
+
s
,
f
(
a
)
FDL editor aliases
rv-add
origin
x.A(x)x.A(x)